🐚 Bash Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·23h·
Discuss: Hacker News
🔗Lisp
CLI tool that translates plain English into Linux commands
reddit.com·3h·
Discuss: r/linux
📝Shell Parsing
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·11h
📞Session Types
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🔗Lisp
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🌊Streaming Systems
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·15h
🧮Kolmogorov Complexity
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·5h·
Discuss: Hacker News
🌐Protocol Synthesis
Lobsters Interview with Zdsmith
lobste.rs·13h·
Discuss: Lobsters
🔗Concatenative Programming
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
[$] Gccrs after libcore
lwn.net·1d
🦀Rust Macros
Codeminer42 Dev Weekly #82
blog.codeminer42.com·1h
🎯Gradual Typing
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·4h·
Discuss: Hacker News
🔓Open Source Software
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·3d
🦀Rust Macros
Red Meat Friday: Emacs Startup Time Again
irreal.org·3h
🔌Operating system internals
Categorical systems theory
topos.institute·7h
🔀Category Theory
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
👑Isabelle
Item Patterns and Struct Await
noratrieb.dev·13h·
Discuss: Hacker News
🦀Rust Macros
English - the hottest programming language of the future
dev.to·1h·
Discuss: DEV
🔄Language Evolution